根据《计算机软件质量保证计划规范 GB/T 12504-1990》， ( )是指在软件开发周期中的一个给定阶段的产品是否达到在上一阶段确立的需求的过程。